$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. $e$ $\leq$loc ${\it e'}$ $\Rightarrow$ ${\it e'}$ $\leq$loc $e$ $\Rightarrow$ ($e$ = ${\it e'}$)